package flowlogic;

public class Inclusion extends Constraint {

	private Node left;
	private Node right;
	
	private boolean act; 
	
	public Inclusion(Node l, Node r, boolean act)
	{
		left = l;
		right = r;
		this.act = act;
	}
	
	public Node getLeft()
	{
		return left;
	}
	
	public Node getRight()
	{
		return right;
	}
	
	public boolean getAct()
	{
		return act;
	}
	
	public String toString()
	{
		return "(" + left + ")" + " subseteq " + "(" + right + ")"; 
	}
}
